From: Stéphane Glondu <glondu@debian.org>
Date: Mon, 15 Dec 2025 06:11:39 +0000 (+0100)
Subject: Mark test_compact_manydomains as multicore
X-Git-Tag: archive/raspbian/5.4.0-1+rpi1^2~1
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/%22/%22http:/www.example.com/cgi/%22?a=commitdiff_plain;h=7a59e949e3926f7f6acedfb93c805d5d1ceec7ca;p=ocaml.git

Mark test_compact_manydomains as multicore


Gbp-Pq: Name Mark-test_compact_manydomains-as-multicore.patch
---

diff --git a/testsuite/tests/compaction/test_compact_manydomains.ml b/testsuite/tests/compaction/test_compact_manydomains.ml
index 6d26260a..6441fe84 100644
--- a/testsuite/tests/compaction/test_compact_manydomains.ml
+++ b/testsuite/tests/compaction/test_compact_manydomains.ml
@@ -1,4 +1,5 @@
 (* TEST
+ multicore;
 *)
 
 let num_domains = 20